Formal proof - PDFSEARCH.IO - Document Search Engine

Formal proof
Results: 365

#	Item
331	G¨odel’s functional interpretation and its use in current mathematics Ulrich Kohlenbach Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2009-02-16 11:06:50 Mathematical constructivism Model theory Predicate logic Formal languages Interpretation Realizability First-order logic Gödel–Gentzen negative translation Prenex normal form Logic Mathematical logic Proof theory
332	VERIFICATION OR PROOF: JUSTIFICATION OF PYTHAGORAS’ THEOREM IN CHINESE MATHEMATICS CLASSROOMS Add to Reading List Source URL: www.emis.de Language: English - Date: 2006-02-06 19:19:30 Triangles Logical syntax Formal systems Logical truth Proof theory Pythagorean theorem Mathematical proof Theorem Pythagoras Logic Mathematics Geometry
333	Curry’s Formalism as Structuralism∗ Jonathan P. Seldin Department of Mathematics and Computer Science Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2005-09-09 19:46:46 Formal languages Metalogic Philosophy of mathematics Logical syntax Formalism Formal system Foundations of mathematics Formal proof Theorem Logic Mathematics Mathematical logic
334	INFERENTIALISM * draft * [removed] * Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2007-12-23 08:06:59** Semantics Philosophy of language Logical syntax Metalogic Inferential role semantics Robert Brandom Meaning Formal proof Truth Logic Philosophy Philosophical logic
335	WHITHER MATHEMATICS? E.B. Davies 15 December 2004 Add to Reading List Source URL: www.mth.kcl.ac.uk Language: English - Date: 2004-12-17 11:21:14 Proof theory Philosophy of mathematics Formal methods Logic in computer science Computer-assisted proof Mathematical proof Axiomatic system Theorem Undecidable problem Mathematics Logic Mathematical logic
336	STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Gradual Computerisation/Formalisation of Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Automated proof checking Theoretical computer science Applied mathematics Mizar and Alcor Mizar Mathematics Proof theory Tarski–Grothendieck set theory Correctness Mizar system Formal methods Ursa Major constellation
337	The Birth of Model Checking Edmund M. Clarke [removed] Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-26 08:39:11 Formal methods Model checkers Turing Award laureates Proof theory Model checking Formal verification Temporal logic Edmund M. Clarke Concurrency Logic Theoretical computer science Mathematics
338	Certified Programming with Dependent Types Adam Chlipala September 26, 2013 Add to Reading List Source URL: adam.chlipala.net Language: English - Date: 2013-10-16 10:39:33 Logic in computer science Formal methods Automated theorem proving Type theory Functional languages Proof assistant Twelf Coq ACL2 Theoretical computer science Mathematics Software engineering
339	DRAFT The Notion of Proof in Hardware Veri cation Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-08-23 05:39:16 Formal sciences Formal methods Dodge Viper VIPER microprocessor Viper Mathematical proof METAR Theorem Logic Transport Mathematics
340	Automatic Guidance for the Formal Verification of High Integrity Ada Final Report of EPSRC Grant GR/R24081 Andrew Ireland Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2005-02-04 10:21:20 Automated theorem proving Formal methods Logic in computer science Proof theory SPARK Automated proof checking Formal verification Mathematical proof Automated reasoning Theoretical computer science Mathematics Applied mathematics

UPDATE